From: Florian Müllner <fmuellner@src.gnome.org>
Date: Sun, 14 Feb 2010 21:06:32 +0000 (+0100)
Subject: Add additional padding to the view specific workspace controls
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~10420
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=b6bb26e9aed371568e7ecb71ccc9cf95e257dc48;p=gnome-shell.git

Add additional padding to the view specific workspace controls

In the latest mockup, there is more spacing around the scroll bar than
between the other controls.

https://bugzilla.gnome.org/show_bug.cgi?id=610189
---

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index bf18b0533..b2c816f4c 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -206,6 +206,10 @@ StTooltip {
     -shell-close-overlap: 16px;
 }
 
+.single-view-controls {
+    padding: 0px 15px;
+}
+
 .workspace-controls {
     width: 24px;
     height: 16px;
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 450e36c33..e129a76d0 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -744,7 +744,9 @@ SingleView.prototype = {
     },
 
     createControllerBar: function() {
-        let panel = new St.BoxLayout({ 'pack-start': true, vertical: true });
+        let panel = new St.BoxLayout({ style_class: 'single-view-controls',
+                                       pack_start: true,
+                                       vertical: true });
 
         let actor = new St.BoxLayout({ 'pack-start': true });
         let active = global.screen.get_active_workspace_index();